| Name | Version | Summary | date |
|---|---|---|---|
| python-constraint2 | 2.0.0 | python-constraint is a module for efficiently solving CSPs (Constraint Solving Problems) over finite domains. | 2025-01-29 14:37:12 |
| mastapy | 14.0.3 | Python scripting API for MASTA. | 2024-12-16 15:24:04 |
| z3-solver | 4.13.3.0 | an efficient SMT solver library | 2024-10-10 23:42:06 |
| hour | day | week | total |
|---|---|---|---|
| 63 | 1376 | 7377 | 283653 |